proof theory 相关频道
proof theory 优惠券折扣 (5)
书籍/杂志/报纸923官方立减
1049预订 精装 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
天猫好物澜瑞图书专营店
优惠126元书籍/杂志/报纸2271官方立减
2581【3-4周达】精装 Ways of Proof Theory [9783110324525]
天猫好物澜瑞图书专营店
优惠310元书籍/杂志/报纸2726官方立减
3098【3-4周达】精装 A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability... [9780198529804]
天猫好物澜瑞图书专营店
优惠372元书籍/杂志/报纸1429官方立减
1624【3-4周达】精装 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs [9780192895936]
天猫好物澜瑞图书专营店
优惠195元书籍/杂志/报纸1605官方立减
1824【3-4周达】精装 Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Form... [9781466564664]
天猫好物澜瑞图书专营店
优惠219元书籍/杂志/报纸2045官方立减
2324【3-4周达】精装 Reductive Logic and Proof-search: Proof Theory, Semantics, and Control [9780198526339]
天猫好物澜瑞图书专营店
优惠279元书籍/杂志/报纸1437官方立减
1633【3-4周达】精装 Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712570]
天猫好物澜瑞图书专营店
优惠196元书籍/杂志/报纸1437官方立减
1633【3-4周达】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712600]
天猫好物澜瑞图书专营店
优惠196元书籍/杂志/报纸1437官方立减
1633【3-4周达】精装 The Method of Socratic Proofs : From the Logic of Questions to Proof Theory [9783031824500]
天猫好物澜瑞图书专营店
优惠196元书籍/杂志/报纸1437官方立减
1633预订 精装 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521414135]
天猫好物澜瑞图书专营店
优惠196元书籍/杂志/报纸1342官方立减
1525【3-4周达】精装 Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
天猫好物澜瑞图书专营店
优惠183元书籍/杂志/报纸1342官方立减
1525【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
天猫好物澜瑞图书专营店
优惠183元书籍/杂志/报纸183券后价
198英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
销量2华研图书专营店
15元优惠券书籍/杂志/报纸652券后价
827Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
天猫好物世纪华典图书专营店
75元优惠券An Introduction764券后价
925Type Theory and Formal Proof An Introduction 类型理论和正式的证明：导读 9781107036505
天猫好物北京国际图书专营店
50元优惠券书籍/杂志/报纸653券后价
828英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫好物通博图书专营店
75元优惠券书籍/杂志/报纸653券后价
828英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫好物大成文汇图书专营店
75元优惠券书籍/杂志/报纸653券后价
828英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫好物诚研图书专营店
75元优惠券书籍/杂志/报纸698券后价
828英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫好物海文图书专营店
75元优惠券现货图书761券后价
925Type Theory and Formal Proof 类型理论与形式证明
天猫好物中国国际图书专营店
53元优惠券书籍/杂志/报纸728券后价
828Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
天猫好物瑞雅图书专营
75元优惠券书籍/杂志/报纸2039券后价
2386海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
天猫好物中华商务图书专营店
60元优惠券书籍/杂志/报纸2039券后价
2386海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
天猫好物中华商务图书专营店
60元优惠券书籍/杂志/报纸950券后价
1125海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1119券后价
1318海外直订Resolution Proof Systems: An Algebraic Theory 分辨率证明系统：代数理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1126券后价
1325海外直订Resolution Proof Systems: An Algebraic Theory 分辨率证明系统：代数理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1892官方立减
2150【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
天猫好物澜瑞图书专营店
优惠258元书籍/杂志/报纸931官方立减
1059预订 精装 Type Theory and Formal Proof: An Introduction [9781107036505]
天猫好物澜瑞图书专营店
优惠128元书籍/杂志/报纸1727官方立减
1963【3-4周达】A General Theory of Evidence and Proof: Forming Beliefs in Truth [9783031665547]
天猫好物澜瑞图书专营店
优惠236元书籍/杂志/报纸1913官方立减
2174【3-4周达】精装 Truth, Proof and Infinity : A Theory of Constructive Reasoning [9780792352624]
天猫好物澜瑞图书专营店
优惠261元